#ifndef _STATIC_H
#define _STATIC_H

#include "SDCF.h"
#include "CFG.h"
#include "call_graph.h"

void StaticCompletion(CFG* fun_cfg);

#endif